Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
61	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
62	COMPUTER ASSISTED PROOFS FOR NON-SYMMETRIC PLANAR CHOREOGRAPHIES AND FOR STABILITY OF THE EIGHT ´ TOMASZ KAPELA AND CARLES SIMO Abstract. We present a general method to produce computer assisted proofs Add to Reading List Source URL: ww2.ii.uj.edu.pl Language: English - Date: 2006-11-24 07:32:48 Mathematical analysis Complex analysis
63	Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-03-13 12:13:02 Mathematical logic Formal methods Automated theorem proving Logical syntax Formal languages Mathematical proof Formal proof Theorem Proof Logic Mathematics Proof theory
64	Another Tutorial for FoCaLize: Playing with Proofs Franc¸ois Pessaux ENSTA ParisTech March 2014 Add to Reading List Source URL: focalize.inria.fr Language: English - Date: 2014-10-13 13:14:08 Proof theory Mathematical proofs IP Mathematics Mathematical logic Logic
65	Simplifying Trigonometric Identities Name: ________________________ Directions: Simplify the following expressions and match them with their solution. Connect the number of the question with the letter of the solution t Add to Reading List Source URL: www.pleacher.com Language: English - Date: 2014-10-03 16:39:59 Special functions Sine Trigonometric functions Proofs of trigonometric identities Trigonometry Mathematics Mathematical analysis
66	Binding Logi : proofs and models Gilles Dowek1 , Therese Hardin2 , and Claude Kir hner3 1 3 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Metalogic Model theory Predicate logic Structure Free variables and bound variables FO Arity Mathematics Universal algebra Mathematical logic
67	Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Add to Reading List Source URL: www.loria.fr Language: English - Date: 2005-01-31 14:08:48 Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic Mathematical logic Proof theory
68	April 13, 2007 — Final version for proceedings of RTA’07 A Characterisation of Medial as Rewriting Rule Lutz Straßburger INRIA Futurs, Projet Parsifal ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-04-13 05:18:17 Inequalities Mathematical proofs Mathematics Algebraic number theory Finite fields
69	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic
70	Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Function XTR Computability theory Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Functions and mappings

UPDATE